1. Conceptual Modeling -- ER '96 :
پدیدآورنده: edited by Bernhard Thalheim.
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Database management.,Logic design.
رده :
QA76
.
9
.
D26
E358
1996
2. Developments in Language Theory
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Logic design. ; Natural language processing (Computer science). ; Database management. ; Artificial intelligence. ; Computer logic. ; Computer science. ; Software engineering. ; Logics and Meanings of Programs. ;
3. Dynamische Integrität von Datenbanken :
پدیدآورنده: von Udo W. Lipeck.
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Database management.,Logic design.
رده :
QA76
.
9
.
D3
V668
1989
4. Logic Programming and Databases
پدیدآورنده: by Stefano Ceri, Georg Gottlob, Letizia Tanca.
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Database management.,Logic design.
رده :
QA76
.
63
B978
1990
5. Temporal Logic :
پدیدآورنده: edited by Dov M. Gabbay, Hans Jürgen Ohlbach.
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Database management.,Logic design.
رده :
QA76
.
6
E358
1994
